Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
571	Linear Programming Problem Setting Up System of Problem Constraint Equations Let’s take a closer look at determining a standard maximization problem and the associated system of problem constraint equations. Suppose th Add to Reading List Source URL: sradai.tripod.com Language: English - Date: 2013-06-20 10:27:43 Elementary algebra Mathematical optimization Constraint programming Operations research Slack variable Simultaneous equations Linear programming Linear equation System of linear equations Mathematics Equations Algebra
572	Towards a Semi-Automated Approach to Intermodel Transformation Michael Boyd and Peter Mc.Brien Add to Reading List Source URL: www.doc.ic.ac.uk Language: English Computing Constraint programming Relational model Data model
573	Babelsberg : specifying and solving constraints on object behavior (Technische Berichte des Hasso-Plattner-Instituts ; 81) Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:16:20 Computer programming States of Germany University of Potsdam Constraint satisfaction Potsdam-Babelsberg Declarative programming Constraint programming Software engineering Programming paradigms
574	Architectures for Cooperating Constraint Solvers Alan Borning This material is based upon work supported in part by the National Science Foundation under Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:21 Software engineering Constraint satisfaction Constraint logic programming Cassowary Satisfiability Modulo Theories Constraint graph Solver Prolog ECLiPSe Constraint programming Declarative programming Theoretical computer science
575	Exploring the Computational Tradeoff of more Reasoning and Less Searching Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 13:05:48 Applied mathematics Formal methods Logic in computer science Constraint programming Boolean algebra Boolean satisfiability problem Resolution Unit propagation Clause Theoretical computer science Automated theorem proving Mathematics
576	Making Set-Constraint Program Analyses Scale Manuel Fahndrich Alexander Aiken EECS Department Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-08-29 16:42:57 Computer programming Constraint satisfaction problem Constraint Standard ML Computing Constraint programming Mathematical optimization Software engineering
577	Optimization Keith Briggs more.btexact.com/people/briggsk2/ MRC meeting 2005 Feb Add to Reading List Source URL: keithbriggs.info Language: English - Date: 2005-07-05 12:45:30 Applied mathematics Convex optimization Theoretical computer science Optimization problem Constraint Linear programming Mathematical optimization Operations research Mathematics
578	5 CONSTRAINT SATISFACTION PROBLEMS In which we see how treating states as more than just little black boxes leads to the Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 11:02:01 Artificial intelligence Constraint satisfaction problem Local consistency Constraint satisfaction Local search Search algorithm Backtracking Mathematical optimization Constraint logic programming Constraint programming Software engineering Computer programming
579	Cooperating Solvers vs. Cooperating Languages Alan Borning This material is based upon work supported in part by the National Science Foundation under Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:12:51 Applied mathematics Operations research Mathematical optimization Computer file formats Electronic design automation Satisfiability Modulo Theories Solver Cassowary Sol Theoretical computer science Constraint programming Computing
580	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory

UPDATE